Nuprl Definition : so_lambda5
11,40
postcript
pdf
(
x
,
y
,
z
,
w
,
v
.
t
(
x
;
y
;
z
;
w
;
v
))(
x
,
y
,
z
,
w
,
v
) ==
t
(
x
;
y
;
z
;
w
;
v
)
latex
Definitions
x
.
A
(
x
)
origin
x,y,z,w,v. t(x;y;z;w;v))(x,y,z,w,v) == t(x;y;z;w;v) x,y,z,w,v. t(x;y;z;w;v))(x,y,z,w,v) == t(x;y;z;w;v) x.A(x)